Nuprl Lemma : bool_wf 9,38

  Type 
latex


ProofTree


Definitions, t  T
Lemmasunit wf

origin